more on this theme     |     more from this thinker     |     more from this text

Single Idea 17751

[filed under theme 4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC ]

Full Idea

Gödel proved the completeness of first order predicate logic in his doctoral dissertation of 1930.

Gist of Idea

Gödel proved the completeness of first order predicate logic in 1930

Source

report of Kurt Gödel (Completeness of Axioms of Logic [1930]) by Michal Walicki - Introduction to Mathematical Logic History E.2.2

Book Ref

Walicki,Michal: 'Introduction to Mathematical Logic' [World Scientific 2012], p.36

email your comments